Quantitative Redundancy in Partial Implications

We survey the different properties of an intuitive notion of redundancy, as a function of the precise semantics given to the notion of partial implication. The final version of this survey will appear in the Proceedings of the Int. Conf. Formal Concept Analysis, 2015.Comment: Int. Conf. Formal Concept Analysis, 201

Self-reducibility structures and solutions of NP problemst

Sin resume

Relative Entailment Among Probabilistic Implications

We study a natural variant of the implicational fragment of propositional logic. Its formulas are pairs of conjunctions of positive literals, related together by an implicational-like connective; the semantics of this sort of implication is defined in terms of a threshold on a conditional probability of the consequent, given the antecedent: we are dealing with what the data analysis community calls confidence of partial implications or association rules. Existing studies of redundancy among these partial implications have characterized so far only entailment from one premise and entailment from two premises, both in the stand-alone case and in the case of presence of additional classical implications (this is what we call "relative entailment"). By exploiting a previously noted alternative view of the entailment in terms of linear programming duality, we characterize exactly the cases of entailment from arbitrary numbers of premises, again both in the stand-alone case and in the case of presence of additional classical implications. As a result, we obtain decision algorithms of better complexity; additionally, for each potential case of entailment, we identify a critical confidence threshold and show that it is, actually, intrinsic to each set of premises and antecedent of the conclusion

Horn axiomatizations for sequential data

AbstractWe propose a notion of deterministic association rules for ordered data. We prove that our proposed rules can be formally justified by a purely logical characterization, namely, a natural notion of empirical Horn approximation for ordered data which involves background Horn conditions; these ensure the consistency of the propositional theory obtained with the ordered context. The whole framework resorts to concept lattice models from Formal Concept Analysis, but adapted to ordered contexts. We also discuss a general method to mine these rules that can be easily incorporated into any algorithm for mining closed sequences, of which there are already some in the literature

Reconocimiento mineralógico de cerámicas árabes

Las muestras de cerámicas árabes estudiadas, presentan una composición mineralógica derivadas de haber sido cocidas a temperaturas comprendidas entre 800 y 1000ºC. Todas ellas tienen en común la utilización de cuarzo y feldespatos como desgrasantes. El yacimiento contiene piezas muy diversas, hecho que guarda relación con su emplazamiento.A study of arab ceramics fragments, shows a mineralogical composition derived from the fact that they probably were fired at a temperature between 800-1000ºC. Every samples have in common the temper composition in quartz and feldspars. The deposit includes ceramics from several procedences, according to its location

Reconocimiento mineralógico de cerámicas árabes

Las muestras de cerámicas árabes estudiadas, presentan una composición mineralógica derivadas de haber sido cocidas a temperaturas comprendidas entre 800 y 1000ºC. Todas ellas tienen en común la utilización de cuarzo y feldespatos como desgrasantes. El yacimiento contiene piezas muy diversas, hecho que guarda relación con su emplazamiento.A study of arab ceramics fragments, shows a mineralogical composition derived from the fact that they probably were fired at a temperature between 800-1000ºC. Every samples have in common the temper composition in quartz and feldspars. The deposit includes ceramics from several procedences, according to its location

Estructura cristalina de la succinodiamidoxima (c4h10n4o2)

Se ha determinado la estructura cristalina de la succinodiamidoxima. Pertenece al sistema monoclínico; P21/n; a=4.883(1), b=5.197(2), c=13.283(2) A, β=100.75(2)º; V=331.2(2 ) A3; Z=2; M=146.149; Dcal.=1.465 Mg.m-3; λ=1.5405 A; μ=9.625 cm-1;F(000) =156; valor final de R=0.040, para 2207 reflexiones observadas, medidas a temperatura ambiente; Rw=0.036.Monoclinic P21/n; a=4.883(1), b=5.197(2), c=13.283(2) A, β=100.75(2)º; V=331.2(2 ) A3; Z=2; M=146.149; Dcal.=1.465 Mg.m-3; λ=1.5405 A; μ=9.625 cm-1;F(000) =156; R=0.040, four 2207 observed reflexions, room temperature; Rw=0.036